Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
411	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Lambda calculus Models of computation Formal methods Computability theory Model theory First-order logic Calculus of constructions Heap Function Mathematical logic Mathematics Theoretical computer science
412	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Models of computation Lambda calculus Predicate logic Computability theory First-order logic Hoare logic Ordinal number Curry–Howard correspondence Mathematical logic Theoretical computer science Logic
413	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
414	Studium przypadku: Church Adam Olszewski UPJP2, Copernicus Center[removed] Add to Reading List Source URL: www.obi.opoka.org.pl Language: English - Date: 2012-12-08 15:07:45 Theoretical computer science Mathematical logic Computable function Church–Turing thesis Function Computability Computability theory Theory of computation Mathematics
415	Environment Analysis via ∆CFA Matthew Might Olin Shivers Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Continuations Logic in computer science Computability theory Models of computation Symbol Lambda calculus Stack Combinatory logic Closure Software engineering Computing Subroutines
416	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2014-02-24 17:59:08 Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers
417	Introduction to the Lambda Calculus Chris Lomont[removed]www.lomont.org Leibniz[removed]) Add to Reading List Source URL: www.lomont.org Language: English - Date: 2012-08-09 18:49:57 Computability theory Theory of computation Models of computation Lambda calculus Computability Turing machine Alan Turing Halting problem Combinatory logic Mathematics Theoretical computer science Mathematical logic
418	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics
419	J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-06-02 12:07:39 Predicate logic Computability theory Lambda calculus Theoretical computer science Function Free variables and bound variables De Bruijn index Combinatory logic Mathematics Mathematical analysis Mathematical logic
420	KEITH DEVLIN Books Trade books 1. The Man of Numbers: Fibonacci’s Arithmetic Revolution, Walker Books (2011), 192pp. 2. Leonardo and Steve: the Young Genius Who Beat Apple to Market by 800 Years, Ted Weinstein (2011), Add to Reading List Source URL: profkeithdevlin.com Language: English - Date: 2012-11-03 14:43:43 Mathematical logic Logic Knowledge Mathematician Number theory Computability theory Philosophy of mathematics Science Mathematics

UPDATE